CHOFFRUT, C: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Properties of Finite and Pushdown Transducers

Choffrut, Christian, Culik II, Karel

Journal:

SIAM Journal on Computing

Year:

1983

Language:

english

File:

PDF, 1.80 MB

english, 1983

2

CONJUGACY IN FREE INVERSE MONOIDS

CHOFFRUT, CHRISTIAN

Journal:

International Journal of Algebra and Computation

Year:

1993

Language:

english

File:

PDF, 750 KB

english, 1993

3

Counting with rational functions

C. Choffrut, M.P. Schutzenberger

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 1.19 MB

english, 1988

4

Rational relations and rational series

Christian Choffrut

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 493 KB

english, 1992

5

Collage of two-dimensional words

Christian Choffrut, Berke Durak

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 245 KB

english, 2005

6

Determinants and Möbius functions in trace monoids

Christian Choffrut, Massimiliano Goldwurm

Journal:

Discrete Mathematics

Year:

1999

Language:

english

File:

PDF, 430 KB

english, 1999

7

Long words: the theory of concatenation and ω-power

Stephen L. Bloom, Christian Choffrut

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 183 KB

english, 2001

8

The commutation of finite sets: a challenging problem

Christian Choffrut, Juhani Karhumäki, Nicolas Ollinger

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 112 KB

english, 2002

9

A note on decidability questions on presentations of word semigroups

C. Choffrut, T. Harju, J. Karhumäki

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 665 KB

english, 1997

10

Commutativity in free inverse monoids

Christian Choffrut, Flavio D'Alessandro

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.12 MB

english, 1998

11

A remark on the representation of trace monoids

Journal:

Semigroup Forum

Year:

1990

Language:

english

File:

PDF, 324 KB

english, 1990

12

Unique Decipherability in the Monoid of Languages: An Application of Rational Relations

Christian Choffrut, Juhani Karhumäki

Journal:

Theory of Computing Systems

Year:

2011

Language:

english

File:

PDF, 395 KB

english, 2011

13

Local Structure of The Set of Steady-State Solutions to The 2d Incompressible Euler Equations

Antoine Choffrut, Vladimír Šverák

Journal:

Geometric And Functional Analysis

Year:

2012

Language:

english

File:

PDF, 672 KB

english, 2012

14

Les problèmes de traduction de l’Organon

Choffrut, Franck

Journal:

La Revue d'Homéopathie

Year:

2012

Language:

french

File:

PDF, 166 KB

french, 2012

15

[Lecture Notes in Computer Science] STACS 91 Volume 480 || A modal semantics for the negation as failure and the closed world assumption rules

Choffrut, Christian, Jantzen, Matthias

Year:

1991

Language:

english

File:

PDF, 788 KB

english, 1991

16

Some decision problems on integer matrices

Choffrut, Christian, Karhumäki, Juhani

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2005

Language:

english

File:

PDF, 133 KB

english, 2005

17

[Lecture Notes in Computer Science] STACS 91 Volume 480 || Nondeterminism within P

Choffrut, Christian, Jantzen, Matthias

Year:

1991

Language:

english

File:

PDF, 705 KB

english, 1991

18

On extendibility of unavoidable sets

Christian Choffrut, Karel Culik II

Journal:

Discrete Applied Mathematics

Year:

1984

Language:

english

File:

PDF, 744 KB

english, 1984

19

Test sets for morphisms with bounded delay

Christian Choffrut, Juhani Karhumäki

Journal:

Discrete Applied Mathematics

Year:

1985

Language:

english

File:

PDF, 390 KB

english, 1985

20

Separability of rational relations in by recognizable relations is decidable

Christian Choffrut, Serge Grigorieff

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 121 KB

english, 2006

21

String-matching with OBDDs

Ch. Choffrut, Y. Haddad

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

22

Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al.

Christian Choffrut, Serge Grigorieff

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.27 MB

english, 2009

23

The “equal last letter” predicate for words on infinite alphabets and classes of multitape automata

Christian Choffrut, Serge Grigorieff

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.14 MB

english, 2009

24

Minimizing subsequential transducers: a survey

Christian Choffrut

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 136 KB

english, 2003

25

Distances between languages and reflexivity of relations

Christian Choffrut, Giovanni Pighizzini

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 179 KB

english, 2002

26

On the number of occurrences of a symbol in words of regular languages

Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 351 KB

english, 2003

27

On real-time cellular automata and trellis automata

C. Choffrut, K. Culik

Journal:

Acta Informatica

Year:

1984

Language:

english

File:

PDF, 603 KB

english, 1984

28

On Boyer-Moore automata

R. A. Baeza-Yates, C. Choffrut, G. H. Gonnet

Journal:

Year:

1994

Language:

english

File:

PDF, 1.16 MB

english, 1994

29

Rational transductions and complexity of counting problems

C. Choffrut, M. Goldwurm

Journal:

Theory of Computing Systems

Year:

1995

Language:

english

File:

PDF, 829 KB

english, 1995

30

Logical definability of some rational trace languages

C. Choffrut, L. Guerra

Journal:

Theory of Computing Systems

Year:

1995

Language:

english

File:

PDF, 1.24 MB

english, 1995

31

Local Limit Properties for Pattern Statistics and Rational Models

Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati

Journal:

Theory of Computing Systems

Year:

2006

Language:

english

File:

PDF, 342 KB

english, 2006

32

On Bounded Rational Trace Languages

Christian Choffrut, Flavio D’Alessandro, Stefano Varricchio

Journal:

Theory of Computing Systems

Year:

2010

Language:

english

File:

PDF, 464 KB

english, 2010

33

The decision problem for some logics for finite words on infinite alphabets

Ch. Choffrut, S. Grigorieff

Journal:

Journal of Mathematical Sciences

Year:

2009

Language:

english

File:

PDF, 255 KB

english, 2009

34

Une caracterisation des fonctions sequentielles et des fonctions sous-sequentielles en tant que relations rationnelles

Christian Choffrut

Journal:

Theoretical Computer Science

Year:

1977

File:

PDF, 1.64 MB

1977

35

Editorial

Christian Choffrut, Thomas Lengauer

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 54 KB

english, 1992

36

Editorial

Christian Choffrut, Matthias Jantzen

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 54 KB

english, 1993

37

On the separability of sparse context-free languages and of bounded rational relations

Christian Choffrut, Flavio D’Alessandro, Stefano Varricchio

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 228 KB

english, 2007

38

On the Starheight of Some Rational Subsets Closed under Partial Commutations

Journal:

Information and Computation

Year:

1993

File:

PDF, 747 KB

1993

39

First-order logics: some characterizations and closure properties

Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano

Journal:

Acta Informatica

Year:

2012

Language:

english

File:

PDF, 330 KB

english, 2012

40

A closure property of deterministic context-free languages

Journal:

Information Processing Letters

Year:

1981

Language:

english

File:

PDF, 618 KB

english, 1981

41

Folding of the plane and the design of systolic arrays

C. Choffrut, K. Culik II

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 389 KB

english, 1983

42

Sur Certaines Applications Séquentielles Numériques

Choffrut Christian

Journal:

Information and Control

Year:

1977

File:

PDF, 670 KB

1977

43

Traveling wave tube-based LINC transmitters

Choffrut, A., Van Veen, B.D., Booske, J.H.

Journal:

IEEE Transactions on Electron Devices

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

44

Minimizing Spectral Leakage of Nonideal LINC Transmitters by Analysis of Component Impairments

Choffrut, A., Van Veen, B.D., Booske, J.H.

Journal:

IEEE Transactions on Vehicular Technology

Year:

2007

Language:

english

File:

PDF, 400 KB

english, 2007

45

[Lecture Notes in Computer Science] STACS 91 Volume 480 || Complexity classification of Truth Maintenance systems

Choffrut, Christian, Jantzen, Matthias

Year:

1991

Language:

english

File:

PDF, 1.10 MB

english, 1991

46

Rational relations having a rational trace on each finite intersection of rational relations

Choffrut, Christian, Grigorieff, Serge

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 226 KB

english, 2012

47

h-Principles for the Incompressible Euler Equations

Choffrut, Antoine

Journal:

Archive for Rational Mechanics and Analysis

Year:

2013

Language:

english

File:

PDF, 354 KB

english, 2013

48

String-matching with OBDDs

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

49

[Lecture Notes in Computer Science] STACS 91 Volume 480 || The expressive power of second order Horn logic

Choffrut, Christian, Jantzen, Matthias

Year:

1991

Language:

english

File:

PDF, 869 KB

english, 1991

50

[IEEE IEEE Conference Record - Abstracts. PPPS-2001 Pulsed Power Plasma Science 2001. 28th IEEE International Conference on Plasma Science and 13th IEEE International Pulsed Power Conference - Las Vegas, NV, USA (17-22 June 2001)] IEEE Conference Record - Abstracts. PPPS-2001 Pulsed Power Plasma Science 2001. 28th IEEE International Conference on Plasma Science and 13th IEEE International Pulsed Power Conference (Cat. No.01CH37255) - LINC transmission using traveling wave tubes

Choffrut, A., Van Veen, B., Booske, J.

Year:

2001

Language:

english

File:

PDF, 89 KB

english, 2001